(texinfo-print-index): Print index line numbers in the new Texinfo 4.7 format.
authorJuri Linkov <juri@jurta.org>
Sun, 23 May 2004 20:55:28 +0000 (20:55 +0000)
committerJuri Linkov <juri@jurta.org>
Sun, 23 May 2004 20:55:28 +0000 (20:55 +0000)
commit741873ac5dd342dbb2f6ceaa50b649ee0f28448f
treedc35c3132c82bcd61119b9f4bf38f8edec9d52e1
parent2672ad587bdc5f8914332a587eb1ea41a5e40a03
(texinfo-print-index): Print index line numbers in the new Texinfo 4.7 format.
lisp/textmodes/texinfmt.el